predicate ['predikit] danh từ (ngôn ngữ học) vị ngữ (triết học) điều đã...
calculus ['kælkjuləs] danh từ (số nhiều calculuses) (toán học) phép tính...
Câu ví dụ
Don't use the predicate calculus if you want to avoid needless formalism. Đừng bao giờ bỏ qua việc tính toán trước chi phi xây dựng nếu bạn không muốn mắc phải hiện tượng chi trội không cần thiết.
Symbolic logic has two main branches: propositional calculus and predicate calculus, which are also called propositional logic and predicate logic. Lôgích ký hiệu thường được phân thành hai ngành phụ, propositional logic (trước đây gọi là propositional calculus) and predicate logic (trước đây gọi là predicate calculus).
Nghĩa
Danh từ
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) Từ đồng nghĩa: functional calculus,
Điện thoại